A methodology for producing reliable software, volume 2

For abstract, see Vol. 1

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

Developing core sets for persons following amputation based on the International Classification of Functioning, Disability and Health as a way to specify functioning

Amputation is a common late stage sequel of peripheral vascular disease and diabetes or a sequel of accidental trauma, civil unrest and landmines. The functional impairments affect many facets of life including but not limited to: Mobility; activities of daily living; body image and sexuality. Classification, measurement and comparison of the consequences of amputations has been impeded by the limited availability of internationally, multiculturally standardized instruments in the amputee setting. The introduction of the International Classification of Functioning, Disability and Health (ICF) by the World Health Assembly in May 2001 provides a globally accepted framework and classification system to describe, assess and compare function and disability. In order to facilitate the use of the ICF in everyday clinical practice and research, ICF core sets have been developed that focus on specific aspects of function typically associated with a particular disability. The objective of this paper is to outline the development process for the ICF core sets for persons following amputation. The ICF core sets are designed to translate the benefits of the ICF into clinical routine. The ICF core sets will be defined at a Consensus conference which will integrate evidence from preparatory studies, namely: (a) a systematic literature review regarding the outcome measures of clinical trails and observational studies, (b) semi-structured patient interviews, (c) international experts participating in an internet-based survey, and (d) cross-sectional, multi-center studies for clinical applicability. To validate the ICF core sets field-testing will follow. Invitation for participation: The development of ICF Core Sets is an inclusive and open process. Anyone who wishes to actively participate in this process is invited to do so

High rate, long-distance quantum key distribution over 250km of ultra low loss fibres

We present a fully automated quantum key distribution prototype running at 625 MHz clock rate. Taking advantage of ultra low loss fibres and low-noise superconducting detectors, we can distribute 6,000 secret bits per second over 100 km and 15 bits per second over 250km

Quantum key distribution and 1 Gbit/s data encryption over a single fibre

We perform quantum key distribution (QKD) in the presence of 4 classical channels in a C-band dense wavelength division multiplexing (DWDM) configuration using a commercial QKD system. The classical channels are used for key distillation and 1 Gbps encrypted communication, rendering the entire system independent from any other communication channel than a single dedicated fibre. We successfully distil secret keys over fibre spans of up to 50 km. The separation between quantum channel and nearest classical channel is only 200 GHz, while the classical channels are all separated by 100 GHz. In addition to that we discuss possible improvements and alternative configurations, for instance whether it is advantageous to choose the quantum channel at 1310 nm or to opt for a pure C-band configuration.Comment: 9 pages, 7 figure

Mycobacterium tuberculosis genetic diversity and drug resistance conferring mutations in the Democratic Republic of the Congo

Background: The Democratic Republic of the Congo (DRC) belongs to the 22 tuberculosis (TB) high-burden countries and to the 27 high-burden multidrug-resistant (MDR)-TB countries. To date, there are no data on the genetic diversity of Mycobacterium tuberculosis in the DRC.Objective: To describe the genetic diversity and the distribution of drug resistance conferring mutations of clinical M. tuberculosis isolates from the DRC.Design: We analysed consecutive M. tuberculosis single patient isolates cultured in 2010 at the laboratory of the National TB Control Programme in Kinshasa.Setting: National TB Control Programme in Kinshasa, DRC.Results: Isolates from 50 patients with pulmonary TB were analysed, including 45 patients (90%) who failed treatment. All isolates belonged to the Euro-American lineage (main phylogenetic Lineage 4). Six different spoligotype families were observed within this lineage, including LAM (20 patients, 40%), T (15 patients; 30%), U (4 patients; 8%), S (3 patients; 6%), Haarlem (2 patients; 4%), and X (1 patient; 2%). No M. africanum strains were observed. The most frequently detected drug  resistance-conferring mutations were rpoB S531L and katG S315T1. Various other mutations, including previously unreported mutations, were detected.Conclusions: The Euro-American lineage dominates in the DRC, with substantial variation in spoligotype families. This study fills an important gap on the molecular map of M. tuberculosis in sub-Saharan Africa

Deposition of tin oxide, iridium and iridium oxide films by metal-organic chemical vapor deposition for electrochemical wastewater treatment

In this research, the specific electrodes were prepared by metal-organic chemical vapor deposition (MOCVD) in a hot-wall CVD reactor with the presence of O2 under reduced pressure. The Ir protective layer was deposited by using (Methylcyclopentadienyl) (1,5-cyclooctadiene) iridium (I), (MeCp)Ir(COD), as precursor. Tetraethyltin (TET) was used as precursor for the deposition of SnO2 active layer. The optimum condition for Ir film deposition was at 300 °C, 125 of O2/(MeCp)Ir(COD) molar ratio and 12 Torr of total pressure. While that of SnO2 active layer was at 380 °C, 1200 of O2/TET molar ratio and 15 Torr of total pressure. The prepared SnO2/Ir/Ti electrodes were tested for anodic oxidation of organic pollutant in a simple three-electrode electrochemical reactor using oxalic acid as model solution. The electrochemical experiments indicate that more than 80% of organic pollutant was removed after 2.1 Ah/L of charge has been applied. The kinetic investigation gives a two-step process for organic pollutant degradation, the kinetic was zero-order and first-order with respect to TOC of model solution for high and low TOC concentrations, respectively

Security Analysis of an Untrusted Source for Quantum Key Distribution: Passive Approach

We present a passive approach to the security analysis of quantum key distribution (QKD) with an untrusted source. A complete proof of its unconditional security is also presented. This scheme has significant advantages in real-life implementations as it does not require fast optical switching or a quantum random number generator. The essential idea is to use a beam splitter to split each input pulse. We show that we can characterize the source using a cross-estimate technique without active routing of each pulse. We have derived analytical expressions for the passive estimation scheme. Moreover, using simulations, we have considered four real-life imperfections: Additional loss introduced by the "plug & play" structure, inefficiency of the intensity monitor, noise of the intensity monitor, and statistical fluctuation introduced by finite data size. Our simulation results show that the passive estimate of an untrusted source remains useful in practice, despite these four imperfections. Also, we have performed preliminary experiments, confirming the utility of our proposal in real-life applications. Our proposal makes it possible to implement the "plug & play" QKD with the security guaranteed, while keeping the implementation practical.Comment: 35 pages, 19 figures. Published Versio